ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling ∗ 2 Sibin Mohan1, Frank Mueller1 , William Hawkins2 , Michael Root3 , Christopher Healy3 and David Whalley4

Source URL: www.cs.fsu.edu

• Computer programming
• Software engineering
• Worst-case execution time
• Formal methods
• Static timing analysis
• Compiler optimization
• Analysis
• Assembly language
• Infinite loop
• Real-time computing
• Programming language implementation
• Computing

Exhaustive Optimization Phase Order Space Exploration Prasad A. Kulkarni, David B. Whalley, Gary S. Tyson Florida State University Computer Science Department Tallahassee, FL {kulkarni,whalley,tyson}@cs.fsu.ed

Source URL: www.cs.fsu.edu

• Software
• Compiler
• Program optimization
• Inline expansion
• Induction variable
• GNU Compiler Collection
• Loop optimization
• Mathematical optimization
• Interprocedural optimization
• Compiler optimizations
• Software engineering
• Computing

Code Optimization in the Polyhedron Model – Improving the Efficiency of Parallel Loop Nests Peter Faber

Source URL: www.infosun.fim.uni-passau.de

Code Optimization in the Polyhedron Model – Improving the Efficiency of Parallel Loop Nests Peter Faber

Source URL: www.infosun.fim.uni-passau.de

Technical Report TR, Department of Computer Science, Florida State University, DecemberThe CR# Algebra and its Application in Loop Analysis and Optimization Robert A. van Engelen∗ Department of Computer

Source URL: www.cs.fsu.edu

Issues of the Automati Generation of HPF Loop Programs Peter Faber, Martin Griebl, and Christian Lengauer Fakultat fur Mathematik und Informatik Universitat Passau, D{94030 Passau, Germany email: ffaber,griebl,lengau

Source URL: www.infosun.fim.uni-passau.de

• Computer programming
• Software engineering
• Parallel computing
• Automatic parallelization
• Polytope model
• Parallel programming model
• Data parallelism
• Array
• Mathematical optimization
• Compiler optimizations
• Computing
• Programming paradigms

Polly - Polyhedral optimization in LLVM Tobias Grosser Hongbin Zheng Universität Passau

Source URL: perso.ens-lyon.fr

• Compiler construction
• Compilers
• Programming language implementation
• Parallel computing
• Loop optimization
• LLVM
• Polytope model
• Clang
• Vectorization
• Computing
• Software
• Compiler optimizations

Compiling for Resource-Constrained Platforms using ASSHes: Application- and System-Specific Heuristics Alastair Reid Nathan Cooprider John Regehr School of Computing, University of Utah

Source URL: www.cs.utah.edu

• Compiler optimizations
• Inline expansion
• Compiler
• Loop unwinding
• Loop optimization
• TinyOS
• GNU Compiler Collection
• Program optimization
• Factor
• Software engineering
• Computing
• Computer programming

Universidad de Buenos Aires Enhancing speculative code parallelization in VMAD with new patterns Author Juan Manuel Martinez Caama˜

Source URL: dc.uba.ar

• Software engineering
• Loop optimization
• Automatic parallelization
• Polytope model
• Iterator
• Ciclos
• Compiler optimizations
• Programming language theory
• Computing

E N A B L I N G P O LY H E D R A L O P T I M I Z AT I O N S I N L LV M tobias christian grosser Diploma Thesis Programming Group Department of Informatics and Mathematics

Source URL: polly.llvm.org

• Compiler optimizations
• Compilers
• Parallel computing
• Compiler construction
• Programming language implementation
• LLVM
• Loop optimization
• Compiler
• Source-to-source compiler
• Computing
• Software
• Computer programming